线性语言和顺序语言关于置换的判定问题

S.Ginsburg和G.F.Rose在[1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在[1]和[3]中找到。     

矩形薄板弹性弯曲问题的一般解析解法

本文对求解矩形薄板弹性弯曲问题采用先建立微分方程的一般解,然后根据问题的边界条件确定积分常数,这样求解比采用迭加法求解要简单容易。     

雷达装备战斗恢复力设计初探

本文阐述了雷达装备战斗恢复力的重要性,提出在雷达装备论证设计阶段就应考虑如何提高其战斗恢复力,以及研究开发全方位、全过程的测试诊断技术。     

单探头瓷泥百分含水量测量系统

本文利用瞬发辐射技术原理研制成功了一种单探头瓷泥百分含水量测量系统,介绍了该系统的结构和数据处理中采取的技术措施,并给出了不同型号瓷泥现场测量的结果。     

一种电路模块故障诊断的实现方法

在分析电路模块故障诊断特性的基础上,本文利用表结构表示推理规则,以框架结构组织规则库,为快速孤立故障,将症状按其检测的难易程度划分类别,并由检测点的选择准则确定下一个能有效孤立故障的检测点,该方法在“电子装备模块级故障诊断系统”和某装备测距系统与搜索系统的实际故障处理中得到了应用,并证实了其有效性。     

氧化硅涂层和硅对碳化硅纤维与铝相容性的影响

本文采用真空蒸镀和离子镀法,在日本NICALON碳化硅纤维上进行纯铝、铝—1％硅合金单层镀和氧化硅-纯铝双层镀,制成SiC/Al、SiC/Al-Si和SiC/SiO_2/Al复合体,将这些复合体分别在真空中进行热处理,然后用浸蚀剂除去镀层,把萃取出的纤维试样放在室温下进行拉伸试验,根据纤维强度的变化,评价硅和氧化硅涂层对碳化硅纤维与铝相容性的影响。实验证明,当用SiO_2或Al—1％Si合金作纤维涂层时,在680℃或720℃真空热处理后,纤维拉伸强度的下降均有所减缓。     

多喷嘴系统控制律

大型航天器(航天飞机、空间站等)的反作用控制系统(RCS)是由多喷嘴组成,具有较高的冗佘度。本文对此系统提出一种控制律,包括控制指令的产生与分配的方法,编成程序包后,便于机载计算机实时操作。     

具有可数个局中人的连续凸对策

在合作对策的理论中,关于各种解的概念的研究向来是引人注目的课题。本文旨在研究一类特殊的合作对策即具有可数个局中人的连续凸对策的各种解。所得结果也可看成是具有有限个局中人的凸对策之相应结果的推广。     

CCD摄象机在检测雷达角度跟踪系统性能中的应用

本文提出用 CCD 摄象机和单片微计算机所组成的系统实现对雷达角度跟踪性能指标的检测,这一新方法可自动录取:雷达的光轴与电轴的匹配状况;雷达角度跟踪系统的误差;当雷达跟踪空中目标时对目标录象,用以评定雷达的跟踪质量.     

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。